matrices proof